$\forall$$A$, $B$:$\mathbb{P}$. ($\neg$($A$ $\vee$ $B$)) $\Leftarrow\!\Rightarrow$ (($\neg$$A$) \& ($\neg$$B$))